SNPs while you wait

Corepressors: custom tailoring and alterations while you wait

A diverse cadre of metazoan transcription factors mediate repression by recruiting protein complexes containing the SMRT (silencing mediator of retinoid and thyroid hormone receptor) or N-CoR (nuclear receptor corepressor) corepressors. SMRT and N-CoR nucleate the assembly of still larger corepressor complexes that perform the specific molecular incantations necessary to confer transcriptional ...

Learn While You Sleep

Grow rich while you sleep

We use data from a promotion campaign of NH-Hoteles to study self-selection of participants in a gift-exchange experiment. The promotion campaign allowed guests to pay any non negative amount of money for a stay in one of 36 hotels in Belgium and the Netherlands. The data allow us to distinguish between ‘regular guests’, who booked prior to the announcement of the promotion campaign and guests ...

Containing Zika while we wait for a vaccine.

Though no longer considered an emergency by the World Health Organization, Zika virus has reached over 70 countries and continues to spread. As long as each infected person infects, on average, at least one other person, the pandemic will grow. In highly affected areas, widespread infection and herd immunity could ultimately stall transmission but only after devastating consequences for new bab...

Abstract and Model Check While You Prove

The construction of abstractions is essential for reducing large or innnite state systems to small or nite state systems. Boolean abstractions, where boolean variables replace concrete predicates, are an important class that subsume several abstraction schemes. We show how boolean abstractions can be constructed simply, eeciently, and precisely for innnite state systems while preserving propert...